Shortest Independent Vector Problem (SIVP)